<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>hotlist_group</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--filemanager--hotlist.c.html#L158'>hotlist_group</a>     158 src/filemanager/hotlist.c static WGroupbox *hotlist_group, *movelist_group;</span>
<span class='curline'><a href='../S/src--filemanager--hotlist.c.html#L260'>hotlist_group</a>     260 src/filemanager/hotlist.c         groupbox_set_title (hotlist_group, str_trunc (p, w-&gt;cols - 2));</span>
<span class='curline'><a href='../S/src--filemanager--hotlist.c.html#L787'>hotlist_group</a>     787 src/filemanager/hotlist.c     hotlist_group = groupbox_new (y, UX, lines - 10 + dh, cols - 2 * UX, _("Top level group"));</span>
<span class='curline'><a href='../S/src--filemanager--hotlist.c.html#L788'>hotlist_group</a>     788 src/filemanager/hotlist.c     hotlist_widget = WIDGET (hotlist_group);</span>
</pre>
</body>
</html>
